Formal proofs for theoretical properties of Newton's method
نویسندگان
چکیده
منابع مشابه
Formal proofs for theoretical properties of Newton's method
We discuss a formal development for the certification of Newton’s method. We address several issues encountered in the formal study of numerical algorithms: developing the necessary libraries for our proofs, adapting paper proofs to suit the features of a proof assistant, and designing new proofs based on the existing ones to deal with optimizations of the method. We start from Kantorovitch’s t...
متن کاملFormal Proofs for Nonlinear Optimization
Interpretation (VMCAI), volume 3385, pages 21–47, Paris,France, January 2005. Springer Verlag.[Ste74] Gilbert Stengle. A nullstellensatz and a positivstellensatz in semial-gebraic geometry. Mathematische Annalen, 207(2):87–97, 1974.[WKKM06] Hayato Waki, Sunyoung Kim, Masakazu Kojima, and Masakazu Mu-ramatsu. Sums of Squares and Semidefinite Programming Relax-ations for P...
متن کاملmodification of nanoclay for improving the physico-mechanical properties of dental adhesives
هدف اصلی این مطالعه تهیه یک سامانه نوین چسب عاجی دندانی بر پایه نانورس پیوند شده با پلی متاکریلیک اسید، نانورس پیوند شده با پلی اکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی متاکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی اکریلیک اسید و نانورس پیوند شده با کیتوسان اصلاح شده با گلایسیدیل متاکریلات است. پیوند پلی متاکریلیک اسید و پلی اکریلیک اسید بر ری سطح نانورس در حضور و ...
Kolmogorov Incompressibility Method in Formal Proofs A Critical Survey
We compare the incompressibility method of Kolmogorov complexity that is used in formal proofs of mathematical and computational results with more traditional methods such as proofs by counting, proofs by probabilistic arguments and proofs by pumping lemmas for formal languages. We consider applications of Kolmogorov complexity in several diierent areas such as lower bounds, average case analys...
متن کاملFormal Security Proofs
The goal of the lecture is to present some aspects of formal security proofs of protocols. This is a wide area, and there is another lecture (by B. Banchet) on related topics. The idea is therefore to explain in depth one particular technique, that relies on deducibility constraints. We rely mainly on two introductory documents [8,14]. Actually, the current notes are the beginning of [8]. Here ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2011
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129511000077